COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00022 ENDMK
C⊗;

\hsize=5in                                 %can be changed
\def\title#1{\vskip 2pc
\hbox{\bf #1}

\vskip 1pc}

\def\hangsiz#1{\setbox 9=\hbox to #1{}}
\def\hang#1#2{\noindent\hangindent \wd9\hbox to \wd9{#1}\strut #2}
\def\data#1#2{\hangsiz{6pc}
\hang{#1}{#2}}                             %#1→date #2→description

\def\biblio{\vskip 2pc                     %macros for bibliography
\noindent Bibliography

\vskip 1pc}
\def\bib#1#2{\hangsiz{3pc}
\hang{\hss [#1]\quad }{#2}}                

\def\linebreak{\break}


\title{Biography of McCarthy}

\vskip 12pt
\data{Born:}{September 4, 1927 in Boston, Massachusetts}

\vskip 12pt
\noindent Education:

\data{1948}{B.S.  (Mathematics) California Institute of Technology}

\data{1951}{Ph.D. (Mathematics) Princeton University}

\vskip 12pt
\noindent Honors and Societies:

\data{}{American Academy of Arts and Sciences}

\data{}{American Society for the Advancement of Science}

\data{}{American Mathematical Society}

\data{}{Association for Computing Machinery}

\data{}{IEEE}

\data{}{Sigma Xi}

\data{}{Sloan Fellow in Physical Science, 1957--59}

\data{}{ACM National Lecturer, 1961}

\data{}{A.M. Turing Award from Association for Computing Machinery, 1971}

\data{}{Editorial Board, Artificial Intelligence Journal, 1975--present}

\data{}{Academic Advisor, National Legal Center for Public Information, 
        1976--present}

\data{}{Board of Directors, Information International, Inc.}

\data{}{Sigma Xi National Lecturer, 1977}

\vskip 12pt
\noindent Professional Record:

\data{1950--51}{Proctor Fellow, Princeton University}

\data{1951--53}{Higgins Research Instructor in Mathematics, Princeton University}

\data{9/1953--1/1955}{Acting Assistant Professor of Mathematics,
          	      Stanford University}

\data{2/1955--6/1958}{Assistant Professor of Mathematics, Dartmouth College}

\data{1958--1961}{Assistant Professor of Communication Science,
                  M.I.T.}

\data{1961--1962}{Associate Professor of Communication Science, M.I.T.}

\data{1962--present}{Professor of Computer Science,
                     Stanford University}

\data{1965--1980}{Director, Artificial Intelligence Laboratory,
                  Stanford University}

\vskip 12pt
\noindent Professional Responsibilities and Scientific Interests:

\data{\hfill$\bullet$\hfill}{With Marvin Minsky organized and directed the Artificial
		Intelligence Project at M.I.T.}

\data{\hfill$\bullet$\hfill}{Organized and directs Stanford Artificial Intelligence Laboratory}

\data{\hfill$\bullet$\hfill}{Developed the LISP programming system for 
                computing with
		symbolic expressions, participated in the development
		of the ALGOL 58 and the ALGOL 60 languages.  Present
		scientific work is in the fields of Artificial
		Intelligence, Computation with Symbolic Expressions,
		Mathematical Theory of Computation, Time-Sharing computer
		systems.}

\biblio

\bib{1}{``Projection Operators and Partial Differential
Equations,'' Ph.D.\ Thesis, Princeton University, 1951.}

\bib{2}{``A Method for the Calculation of Limit Cycles by
Successive Approximation'' in Contributions to the Theory of Nonlinear
Oscillations II, Annals of Mathematics Study No.\ 29, Princeton University,
1952, pp.\ 75--79.}

%3McCarthy, John (1953)%1: 
\bib{3}{``An Everywhere Continuous Nowhere Differentiable
Function,'' American Mathematical Monthly, December 1953, p.\ 709.}

%3McCarthy, John (1954)%1:  
\bib{4}{``A Nuclear Reactor for Rockets,'' Jet Propulsion,
January 1954.}

%3McCarthy, John (1955)%1:  
\bib{5}{``The Stability of Invariant Manifolds,'' Applied
Mathematics Laboratory Technical Report No.\ 36, Stanford University, 1955, 
p.\ 25.}

%3McCarthy, John (1956)%1:  
\bib{6}{``The Inversion of Functions Defined by Turing
Machines,'' in Automata Studies, Annals of Mathematical Study No.\ 34,  
Princeton, 1956, pp.\ 177--181.}

%3McCarthy, John (1956)%1:  
\bib{7}{``Aggregation in the Open Leontief Model,''
in Progress Report of Dartmouth Mathematics Project, 1956.}

%3McCarthy, John (1956)%1:  
\bib{8}{``Measures of the Value of Information,''
National Academy of Science, September 1956.}

%3McCarthy, John (1956)%1:  
\bib{9}{Co-editor with Dr. Claude E. Shannon of Automata
Studies, Annals of Mathematics Study No.\ 34., 1956.}

%3McCarthy, John (1960)%1: 
\bib{10}{``Recursive Functions of Symbolic Expressions and their
Computation by Machine,'' Comm.\ ACM, April 1960.}

%3McCarthy, John (1960)%1: 
\bib{11}{``Programs with Common Sense,'' Proceedings of the
Teddington Conference on the Mechanization of Thought Processes, Her Majesty's
Stationery Office, London, 1960.}

%3McCarthy, John (with 12 others) (1960)%1 
\bib{12}{``ALGOL 60'', Numerische
Mathematik, March 1960, also in Comm.\ ACM, May 1960 and Jan.\ 1963.}

%3McCarthy, John (1961)%1: 
\bib{13}{``A Basis for Mathematical Theory of Computation,'' 
in Proc.\  Western Joint Computer Conf., May 1961, pp.\ 225--238.
Later version in Braffort, P. and D. Hirschberg (eds.) Computer
Programming and Formal Systems, North-Holland Publishing Co., 1963.}

%3McCarthy, John (1962)%1: 
\bib{14}{``Time-Sharing Computing Systems,'' in Management
and the Computer of the Future, Martin Greenberger (ed.), MIT Press., 1962.}

%3McCarthy, John 
\bib{15}{LISP 1.5 Programmer's Manual, 
(with Paul Abrahams, Daniel Edwards, Timothy
Hart and Michael Levin),
M.I.T. Press, Cambridge, MA, 1962.}

%3McCarthy, John (1962)%1: 
\bib{16}{``Computer Programs for Checking Mathematical Proofs,'' 
Amer.\ Math.\ Soc.\ Proc.\ of Symposia in Pure Math., vol.\ 5, 1962.}

%3McCarthy, John (1963)%1: 
\bib{17}{``Towards a Mathematical Theory of Computation,'' 
in Proc.\ IFIP Congress 62, North-Holland, Amsterdam, 1963.}

%3McCarthy, John (1963)%1: 
\bib{18}{``A Basis for a Mathematical Theory of Computation,''
in P. Braffort and D. Hirschberg (eds.), Computer Programming and
Formal Systems, North-Holland, Amsterdam, 1963, pp.\ 33--70.}

%3McCarthy, John (1963)%1: 
\bib{19}{``A Time-Sharing Debugging System for a Small
Computer,'' (with Boilen, Fredkin and Licklider), Proc.\ AFIPS 1963 Spring
Joint Computer Conf., Sparten Books, Detroit, 1963, pp.\ 51--57.}

%3McCarthy, John (1963)%1: 
\bib{20}{``The Linking Segment Subprogram Language and
Linking Loader Programming Languages,''  
(with F.
Corbato and M. Daggett), Comm.\ ACM, July 1963.}

%3McCarthy, John (1965)%1: 
\bib{21}{``Problems in the Theory of Computation,''
in Proc.\ IFIP Congress 65, Spartan, Washington, D.C., 1965.}

%3McCarthy, John  (1966)%1: 
\bib{22}{``A Formal Description of a Subset of Algol,''
Formal Language Description Languages for Computer Programming,
T.B. Steel, Jr.\ (ed.), North-Holland, Amsterdam, 1966, pp.\ 1--12.}

%3McCarthy, John (1968%1:  
\bib{23}{``Time-Sharing Computer Systems,'' in
Conversational Computers, William Orr (ed.), Wiley Publishing Company, 1968.}

%3McCarthy, John (1966)%1:  
\bib{24}{``Information,'' Scientific American, vol.\ 215, 1966.}

%3McCarthy, John (1967)%1:  
\bib{25}{``THOR---A Display Based Time-Sharing System,''  
(with D. Brian,	G. Feldman, and John Allen),
AFIPS Conf.\ Proc., vol.\ 30, (FJCC) Thompson, Washington, D.C., 1967.}

%3McCarthy, John (1967)%1:  
\bib{26}{``Computer Control of a Hand and Eye,'' in 
Proc.\ Third All-Union Conference on Automatic Control (Technical Cybernetics),
Nauka, Moscow, (Russian), 1967.}

%3McCarthy, John (1968)%1:  
\bib{27}{``Programs with Common Sense,'' in M. Minsky (ed.), 
Semantic Information Processing, M.I.T. Press, Cambridge, MA, 1968.}

%3McCarthy, John (1968)%1:  
\bib{28}{``A Computer with Hands, Eyes, and Ears,'' 
(with L. Earnest, D. Reddy, P. Vicens),
Proc.\ AFIPS Conf.\ (FJCC), 1968.}

%3McCarthy, John and P.J. Hayes (1969)%1:  
\bib{29}{``Some Philosophical Problems from
the Standpoint of Artificial Intelligence,'' with P. J. Hayes,
in D. Michie (ed.), Machine
Intelligence 4, American Elsevier, New York, NY, 1969.}

%3McCarthy, John (1972)%1:  
\bib{30}{``The Home Information Terminal,'' Man and Computer, 
in Proceedings International Conference, Bordeaux 1970, S. Karger, NY, 1972.}

%3McCarthy, John (1973)%1:  
\bib{31}{``Mechanical Servants for Mankind,'' in Britannica 
Yearbook of Science and the Future, 1973.}

%3McCarthy, John (1974)%1:
\bib{32}{Book Review: ``Artificial Intelligence: A General Survey,'' 
by Sir James Lighthill, in Artificial Intelligence, vol.\ 5, No.\ 3, 1974.}

%3McCarthy, John (1974)%1:  
\bib{33}{``Modeling Our Minds'' in Science Year 1975, The
World Book Science Annual, Field Enterprises Educational Corporation,
Chicago, IL, 1974.}

%3McCarthy, John (1976)%1:  
\bib{34}{``The Home Information Terminal,'' invited presentation, 
AAAS Annual Meeting, Boston, Feb.\ 18--24, 1976.}

%3McCarthy, John (1976)%1:  
\bib{35}{``An Unreasonable Book,'' a review of Computer
Power and Human Reason, by Joseph Weizenbaum (W.H. Freeman and Co., San
Francisco, 1976) in SIGART Newsletter 58, June 1976, also in Creative
Computing, Chestnut Hill, Massachusetts, 1976 and in ``Three Reviews of Joseph
Weizenbaum's Computer Power and Human Reason,'' (with Bruce
Buchanan and Joshua
Lederberg), Stanford Artificial Intelligence Laboratory Memo 291, Computer
Science Department, Stanford, CA, 1976.}

%3McCarthy, John (1977)%1:
\bib{36}{Review: ``Computer Power and Human Reason,'' by Joseph Weizenbaum (W.H.
Freeman and Co., San Francisco, 1976) in Physics Today, 1977.}

%3McCarthy, John (1977)%1:
\bib{37}{``The Home Information Terminal,'' Grolier Encyclopedia, 1977.}

%3McCarthy, John (1977)%1:
\bib{38}{``On The Model Theory of Knowledge,'' 
(with M. Sato, S. Igarashi, and
T. Hayashi), Proceedings of the Fifth International Joint Conference
on Artificial Intelligence, M.I.T., Cambridge, MA, 1977.}
     
%3McCarthy, John (1977)%1:
\bib{39}{``Another SAMEFRINGE,'' in SIGART Newsletter No.\ 61, February 1977.}

%3McCarthy, John (1977)%1:
\bib{40}{``History of LISP,'' in Proceedings of the ACM Conference on the
History of Programming Languages, Los Angeles, 1977.}

%3McCarthy, John (1977)%1:
\bib{41}{``Epistemological Problems of Artificial Intelligence,'' Proceedings
of the Fifth International Joint Conference on Artificial 
Intelligence, M.I.T., Cambridge, MA, 1977.}

%3McCarthy, John (1979)%1:
\bib{42}{``Ascribing Mental Qualities to Machines,'' in 
Philosophical Perspectives 
in Artificial Intelligence, Ringle, Martin (ed.), Harvester Press, July 1979.}
%.<<aim 326, MENTAL[F76,JMC]>>

%3McCarthy, John (1979)%1: 
\bib{43}{``First Order Theories of Individual Concepts and Propositions,'' 
in Michie, Donald (ed.) Machine Intelligence 9, University of
Edinburgh Press, Edinburgh, 1979.}
%.<<aim 325,concep[e76,jmc]>>

%3Cartwright, Robert and John McCarthy (1979)%1:
\bib{44}{``Recursive Programs as Functions in a First Order Theory,''
in Proceedings of the International Conference on Mathematical Studies of
Information Processing, Kyoto, Japan, 1979.}
%.<<aim 324, FIRST.NEW[W77,JMC]>>

%3McCarthy, John (1980)%1: 
\bib{45}{``Circumscription---A Form of Non-Monotonic Reasoning,''  
Artificial Intelligence, vol.\ 13, No.\ 1,2, April 1980.}
%.<<aim 334, circum.new[s79,jmc]>>

%3McCarthy, John and Carolyn Talcott (1980)%1: 
\bib{46}{``LISP---Programming and Proving,'' (with Carolyn Talcott),
course notes, Stanford University, (to be published as a book).}

%.<<The references in this bibliography (BIOJMC[1,JMC]) should be in a
%.uniform style, because I often copy them to papers.  The last few are
%.correct.  The publication in italics and first names spelled out.
%.>>

%3McCarthy, John (1982)%1: 
\bib{47}{``Common Business Communication Language,''     
Textverarbeitung und\linebreak
B\"urosysteme, Albert Endres and J\"urgen Reetz (eds.),
R. Oldenbourg Verlag, Munich and Vienna, 1982.}

%3McCarthy, John (1983)%1: 
\bib{48}{``AI Needs more Emphasis on Basic Research,'' AI
Magazine, vol.\ 4, No.\ 4, Winter 1983.}